nLab Bernhard Banaschewski

Bernhard Banaschewski (1926-2022)]

• McMaster obituary

• Mathematics Genealogy page

Selected writings

• B. Banaschewski, A. Pultr, Variants of openness, Appl. Cat. Struc. 2 (1994) 1-21 [doi:10.1007/BF00873038]

• B. Banaschewski, A. Pultr, Booleanization, Cah. Top. Géom. Diff. Cat. XXXVII 1 (1996) 41-60 [numdam:CTGDC_1996__37_1_41_0]

On the Stone-Weierstrass theorem in constructive mathematics:

• B. Banaschewski, C. J. Mulvey, A constructive proof of the Stone-Weierstrass theorem, J. Pure Appl. Algebra 116 (1997) 25-40 [doi:10.1016/S0022-4049(96)00160-0]

On the Boolean algebra underlying Spencer Brown’s “Laws of form”:

• B. Banaschewski, On G. Spencer Brown’s laws of form, Notre Dame J. Formal Logic 18 3 (1977) 507-509 [doi:10.1305/ndjfl/1093888028]

On algebraic closures of fields in the absence of the axiom of choice:

• Bernhard Banaschewski, Algebraic closure without choice, Mathematical Logic Quarterly, Volume 38, Issue 1, 1992, Pages 383-385, [doi:10.1002/malq.19920380136]

Related entries

• weakly open subtopos

• skeletal geometric morphism

category: people